Sequent of Relations Calculi: A Framework for Analytic Deduction in Many-Valued Logics
نویسندگان
چکیده
We present a general framework that allows to construct systematically analytic calculi for a large family of (propositional) many-valued logics — called projective logics — characterized by a special format of their semantics. All finite-valued logics as well as infinite-valued Gödel logic are projective. As a case-study, sequent of relations calculi for Gödel logics are derived. A comparison with some other analytic calculi is provided.
منابع مشابه
Proof theory for locally finite many-valued logics: Semi-projective logics
We extend the methodology in Baaz and Fermüller (1999) [5] to systematically construct analytic calculi for semi-projective logics-a large family of (propositional) locally finite many-valued logics. Our calculi, defined in the framework of sequents of relations, are proof search oriented and can be used to settle the computational complexity of the formalized logics. As a case study we derive ...
متن کاملSystematic Construction of Natural Deduction Systems for Many-Valued Logics
A construction principle for natural deduction systems for arbitrary finitely-many-valued first order logics is exhibited. These systems are systematically obtained from sequent calculi, which in turn can be automatically extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness and norm...
متن کاملSystematic Construction of Natural Deduction Systems for Many-valued Logics: Extended Report
We exhibit a construction principle for natural deduction systems for arbitrary finitely-many-valued first order logics. These systems are systematically obtained from sequent calculi, which in turn can be extracted from the truth tables of the logics under consideration. Soundness and cut-free completeness of these sequent calculi translate into soundness, completeness and normal form theorems...
متن کاملProof Theory of Finite-valued Logics
Preface Many-valued logic is not much younger than the whole field of symbolic logic. It was introduced in the early twenties of this century by Lukasiewicz [1920] and Post [1921] and has since developed into a very large area of research. Most of the early work done has concentrated on problems of axiomatizability on the one hand, and algebraical/model theoretic investigations on the other. Th...
متن کاملDissertation Abstract Semantic Investigation of Proof Systems for Non-classical Logics
Ever since the introduction of sequent calculi for classical and intuitionistic logic by Gentzen [20], sequent calculi have been widely applied in the fields of proof theory, computational logic, and automated deduction. These systems and their natural generalizations (such as many-sided sequent and hypersequent calculi) provide suitable proof-theoretic frameworks for a huge variety of non-clas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002